Patrick Doherty - PDFSEARCH.IO - Document Search Engine

Patrick Doherty
Results: 80

#	Item
51	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
52	Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow Fredrik Heintz, Piotr Rudol, and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2007-04-01 17:17:38 National security Military terminology Signals intelligence Unmanned aerial vehicle Sensor fusion Geographic information system Infrared Object Pose Electromagnetic radiation Espionage Computer vision
53	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2009-05-27 04:27:07 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
54	From Images to Traffic Behavior - A UAV Tracking and Monitoring Application Fredrik Heintz, Piotr Rudol and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, pioru, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2007-07-04 04:24:21 Signals intelligence Unmanned aerial vehicle Object Data types Object-oriented programming Military terminology
55	Towards Automatic Model Generation by Optimization Per NYBLOM a and Patrick DOHERTY a a Department of Computer Science, Link¨oping, {perny, patdo}@ida.liu.se Abstract. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:44:52 Mathematical optimization Algorithm Optimization problem Linear programming Reinforcement learning Economic model Delayed column-generation Linear programming relaxation Operations research Mathematics Applied mathematics
56	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
57	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
58	The WITAS UAV System Demonstration Mariusz Wzorek and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {marwz,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:42:19 Unmanned aerial vehicles National security Military terminology Signals intelligence Military
59	J Glob Optim DOI[removed]s10898[removed]Optimal placement of UV-based communications relay nodes Oleg Burdakov · Patrick Doherty · Kaj Holmberg · Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-20 06:09:28 Operations research Network theory Network flow Shortest path problem Bellman–Ford algorithm Tree Graph Flow network Tree decomposition Graph theory Mathematics Theoretical computer science
60	Vision for a UAV helicopter Klas Nordberg, Patrick Doherty† , Gunnar Farneb¨ ack, Per-Erik Forss´en, G¨ osta Granlund, Anders Moe, Johan Wiklund † Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:19:19 Unmanned aerial vehicle Pose Template matching Image analysis Artificial intelligence Military Knowledge Computer vision Military terminology Signals intelligence

UPDATE